Discussion of new axioms for set theory has often focused on conceptions of maximality, and how these might relate to the iterative conception of set. This paper provides critical appraisal of how certain maximality axioms behave on different conceptions of ontology concerning the iterative conception. In particular, we argue that forms of multiversism (the view that any universe of a certain kind can be extended) and actualism (the view that there are universes that cannot be extended in particular ways) face (...) complementary problems. The latter view is unable to use maximality axioms that make use of extensions, where the former has to contend with the existence of extensions violating maximality axioms. An analysis of two kinds of multiversism, a Zermelian form and Skolemite form, leads to the conclusion that the kind of maximality captured by an axiom differs substantially according to background ontology. (shrink)

The Hyperuniverse Programme, introduced in Arrigoni and Friedman (2013), fosters the search for new set-theoretic axioms. In this paper, we present the procedure envisaged by the programme to find new axioms and the conceptual framework behind it. The procedure comes in several steps. Intrinsically motivated axioms are those statements which are suggested by the standard concept of set, i.e. the `maximal iterative concept', and the programme identi fies higher-order statements motivated by the maximal iterative concept. The satisfaction of these (...) statements (H-axioms) in countable transitive models, the collection of which constitutes the `hyperuniverse' (H), has remarkable 1st-order consequences, some of which we review in section 5. (shrink)

It is standard in set theory to assume that Cantor's Theorem establishes that the continuum is an uncountable set. A challenge for this position comes from the observation that through forcing one can collapse any cardinal to the countable and that the continuum can be made arbitrarily large. In this paper, we present a different take on the relationship between Cantor's Theorem and extensions of universes, arguing that they can be seen as showing that every set is countable and that (...) the continuum is a proper class. We examine several principles based on maximality considerations in this framework, and show how some (namely Ordinal Inner Model Hypotheses) enable us to incorporate standard set theories (including ZFC with large cardinals added). We conclude that the systems considered raise questions concerning the foundational purposes of set theory. (shrink)

Set-theoretic and category-theoretic foundations represent different perspectives on mathematical subject matter. In particular, category-theoretic language focusses on properties that can be determined up to isomorphism within a category, whereas set theory admits of properties determined by the internal structure of the membership relation. Various objections have been raised against this aspect of set theory in the category-theoretic literature. In this article, we advocate a methodological pluralism concerning the two foundational languages, and provide a theory that fruitfully interrelates a `structural' perspective (...) to a set-theoretic one. We present a set-theoretic system that is able to talk about structures more naturally, and argue that it provides an important perspective on plausibly structural properties such as cardinality. We conclude the language of set theory can provide useful information about the notion of mathematical structure. (shrink)

Set-theoretic and category-theoretic foundations represent different perspectives on mathematical subject matter. In particular, category-theoretic language focusses on properties that can be determined up to isomorphism within a category, whereas set theory admits of properties determined by the internal structure of the membership relation. Various objections have been raised against this aspect of set theory in the category-theoretic literature. In this article, we advocate a methodological pluralism concerning the two foundational languages, and provide a theory that fruitfully interrelates a ‘structural’ perspective (...) to a set-theoretic one. We present a set-theoretic system that is able to talk about structures more naturally, and argue that it provides an important perspective on plausibly structural properties such as cardinality. We conclude the language of set theory can provide useful information about the notion of mathematical structure. (shrink)

A central area of current philosophical debate in the foundations of mathematics concerns whether or not there is a single, maximal, universe of set theory. Universists maintain that there is such a universe, while Multiversists argue that there are many universes, no one of which is ontologically privileged. Often model-theoretic constructions that add sets to models are cited as evidence in favour of the latter. This paper informs this debate by developing a way for a Universist to interpret talk that (...) seems to necessitate the addition of sets to V. We argue that, despite the prima facie incoherence of such talk for the Universist, she nonetheless has reason to try and provide interpretation of this discourse. We present a method of interpreting extension-talk (V-logic), and show how it captures satisfaction in `ideal' outer models and relates to impredicative class theories. We provide some reasons to regard the technique as philosophically virtuous, and argue that it opens new doors to philosophical and mathematical discussions for the Universist. (shrink)

In this panel, we explore the future of value sensitive design (VSD). The stakes are high. Many in public and private sectors and in civil society are gradually realizing that taking our values seriously implies that we have to ensure that values effectively inform the design of technology which, in turn, shapes people’s lives. Value sensitive design offers a highly developed set of theory, tools, and methods to systematically do so.

In this paper I study how the theoretical categories of consumption theory were used by Milton Friedman in order to classify empirical data and obtain predictions. Friedman advocated a case by case definition of these categories that traded theoretical coherence for empirical content. I contend that this methodological strategy puts a clear incentive to contest any prediction contrary to our interest: it can always be argued that these predictions rest on a wrong classification of data. My conjecture is (...) that this methodological strategy can contribute to explain why Friedman’s predictions never generated the consensus he expected among his peers. (shrink)

In this paper I study Milton Friedman’s statistical education, paying special attention to the different methodological approaches (Fisher, Neyman and Savage) to which he was exposed. I contend that these statistical procedures involved different views as to the evaluation of statistical predictions. In this light, the thesis defended in Friedman’s 1953 methodological essay appears substantially ungrounded.

David Friedman posed a number of libertarian philosophical problems (Friedman 1989). This essay criticizes Walter Block’s Rothbardian responses (Block 2011) and compares them with J C Lester’s critical-rationalist, libertarian-theory responses (Lester [2000] 2012). The main issues are as follows. 1. Critical rationalism and how it applies to libertarianism. 2.1. How libertarianism is not inherently about law and is inherently about morals. 2.2. How liberty relates to property and can be maximized: carbon dioxide and radio waves. 2.3. Applying (...) the theory to flashlights. 2.4. Applying the theory to the probability of imposed risks. 2.5. “Homesteading” or initial acquisition. 2.6 What is “essential” for a “true libertarian.” 2.7. Crime and punishment. 2.8. Extent of punishment. 2.9. The libertarian response to a madman with a gun. 2.10. How contradictions in rights are possible. 2.11. The draft. 3.1. Utilitarian libertarianism and “nose counting”. 3.2. How interpersonal comparisons of utility are possible and utility monsters are not a threat. 3.3. Why it is not utilitarian in practice to kill an innocent prisoner to prevent a riot. 3.4. Why David Friedman should not be forced to give up one of his eyes. 3.5. How utilitarians can be libertarians. Conclusion: a proper theory of liberty combined with critical rationalism offers superior solutions to Friedman’s problems. Appendix: replies to two commentators. (shrink)

Epistemology has taken a zetetic turn from the study of belief towards the study of inquiry. Several decades ago, theories of bounded rationality took a procedural turn from attitudes towards the processes of inquiry that produce them. What is the relationship between the zetetic and procedural turns? In this paper, I argue that we should treat the zetetic turn in epistemology as part of a broader procedural turn in the study of bounded rationality. I use this claim to motivate and (...) clarify the zetetic turn in epistemology, as well as to reveal the need for a second zetetic turn within practical philosophy. (shrink)

In this paper I present critical evaluations of Ayer and Putnam's views on the analyticity of geometry. By drawing on the historico-philosophical work of Michael Friedman on the relativized apriori; and Roberto Torretti on the foundations of geometry, I show how we can make sense of the assertion that pure geometry is analytic in Carnap's sense.

Zetetic norms govern our acts of inquiry. Epistemic norms govern our beliefs and acts of belief formation. Recently, Jane Friedman (2020) has defended that we should think of these norms as conforming a single normative domain: epistemology should take a zetetic turn. Though this unification project implies a substantive re-elaboration of our traditional epistemic norms, Friedman argues that the reasons supporting the turn are robust enough to warrant its revisionary implications. In this paper, I suggest we should read (...) Friedman’s proposal as a dilemma. Either we believe the zetetic turn is well-motivated and undertake the task of looking for the proper revision of our traditional epistemic norms, or we take the revisionary implications of the turn to be unacceptable, in which case our challenge is to show why a zetetic epistemology is not a well-motivated project after all. After presenting this dilemma, I make a case for endorsing its second horn by presenting a two-pronged argument against Friedman’s project. First, I show that the revisionary implications of the zetetic turn are more far-reaching than expected. Second, I defend that the most persuasive reasons for endorsing the turn are not strong enough to support it. Taken together, these considerations speak against accepting the zetetic turn and the revisionary implications that come with it. (shrink)

Contemporary choreography offers a window onto creative processes that rely on harnessing the power of sensory sys- tems. Dancers use their body as a thing to think with and their sensory systems as engines to simulate ideas non- propositionally. We report here on an initial analysis of data collected in a lengthy ethnographic study of the making of a dance by a major choreographer and show how translating between different sensory modalities can help dancers and choreographer to be more creative.

Gilbert Harman’s famous principle of Clutter Avoidance commands that “one should not clutter one’s mind with trivialities". Many epistemologists have been inclined to accept Harman’s principle, or something like it. This is significant because the principle appears to have robust implications for our overall picture of epistemic normativity. Jane Friedman (2018) has recently argued that one potential implication is that there are no genuine purely evidential norms on belief revision. In this paper, we present some new objections to a (...) suitably formulated version of the clutter principle qua norm on belief revision. Moreover, we argue that the clutter principle is best understood as a norm on non-doxastic stages of inquiry. In our view, it is a norm of asking and considering questions rather than a norm of settling on an answer to a question by forming a belief. (shrink)

In the 1960s and 1970s, Hilary Putnam articulated a notion of relativized apriority that was motivated to address the problem of scientific change. This paper examines Putnam’s account in its historical context and in relation to contemporary views. I begin by locating Putnam’s analysis in the historical context of Quine’s rejection of apriority, presenting Putnam as a sympathetic commentator on Quine. Subsequently, I explicate Putnam’s positive account of apriority, focusing on his analysis of the history of physics and geometry. In (...) the remainder of the paper, I explore connections between Putnam’s account of relativized a priori principles and contemporary views. In particular, I situate Putnam’s account in relation to analyses advanced by Michael Friedman, David Stump, and William Wimsatt. From this comparison, I address issues concerning whether a priori scientific principles are appropriately characterized as “constitutive” or “entrenched”. I argue that these two features need to be clearly distinguished, and that only the constitutive function is essential to apriority. By way of conclusion, I explore the relationship between the constitutive function of a priori principles and entrenchment. (shrink)

This book describes the philosophical principles underlying the doctrine (the political project) often called “classical liberalism”. By this expression we mean, in this book, the project for society proposed, during the second half of the eighteenth century, by David Hume and Adam Smith in Great Britain, Turgot and Condorcet in France, Thomas Jefferson in the United States and Kant and Humboldt in Germany. The differences between the principles of “classical liberalism” and those of the extreme doctrines of Milton (...) class='Hi'>Friedman and Friedrich Hayek (often confused with 'classical liberalism') are clearly explained. -/- This book has been translated into Spanish, Portuguese, Italian, Vietnamese, Rumanian and Turkish. -/- Several scholars have done me the honor of posting a .pdf version of this work (which is no longer available in paper form). Here are three excellent versions that are easily found : -/- "Les fondements philosophiques du libéralisme jugurtha noblogs" (224 pages), "Les fondements philosophiques du libéralisme" (224 pages), in ZLibrary. -/- "Les fondements philosophiques du libéralisme abdelmagidzarrouki" (224 pages), -/- . (shrink)

In the recent philosophical literature on inquiry, epistemologists point out that their subject has often begun at the point at which you already have your evidence and then focussed on identifying the beliefs for which that evidence provides justification. But we are not mere passive recipients of evidence. While some comes to us unbidden, we often actively collect it. This has long been recognised, but typically epistemologists have taken the norms that govern inquiry to be practical, not epistemic. The recent (...) literature challenges this assumption and uncovers a rich range of questions about the epistemic normativity of inquiry. In this paper, I approach these questions from the formal side of epistemology. Developing out of the philosophy of science, as it did, this branch of epistemology has long discussed inquiry. And, building on the insights of Janina Hosiasson (1931), David Blackwell (1951), and I. J. Good (1967), it has produced a reasonably well-developed framework in which to understand norms of inquiry, both epistemic and practical. In the first half of the paper, I will present the pragmatic versions of this framework due to Hosiasson, Blackwell, and Good, and the epistemic version due to Graham Oddie (1997); in the second half of the paper, I put this framework to work, turning to some of the questions from the recent debate about inquiry and asking how the framework can help us answer them. Questions include: When should we initiate an inquiry, when should we continue it, when should we conclude it, and when should we reopen it? How do epistemic norms of inquiry relate to epistemic norms of belief or credence, and can they conflict, as Jane Friedman (2020) contends? How should we resolve the apparent puzzle raised by Friedman's example of counting the windows in the Chrysler Building? How should we direct our attention, as Georgi Gardiner (2022) asks? How should we choose and reason after receiving evidence we'd rather not have received? And how should we understand the epistemic error that occurs when someone is resistant to evidence in the way Mona Simion (2023) describes? (shrink)

What are the philosophical views of professional philosophers, and how do these views change over time? The 2020 PhilPapers Survey surveyed around 2000 philosophers on 100 philosophical questions. The results provide a snapshot of the state of some central debates in philosophy, reveal correlations and demographic effects involving philosophers' views, and reveal some changes in philosophers' views over the last decade.

Corcoran’s 27 entries in the 1999 second edition of Robert Audi’s Cambridge Dictionary of Philosophy [Cambridge: Cambridge UP]. -/- ancestral, axiomatic method, borderline case, categoricity, Church (Alonzo), conditional, convention T, converse (outer and inner), corresponding conditional, degenerate case, domain, De Morgan, ellipsis, laws of thought, limiting case, logical form, logical subject, material adequacy, mathematical analysis, omega, proof by recursion, recursive function theory, scheme, scope, Tarski (Alfred), tautology, universe of discourse. -/- The entire work is available online free at more than (...) one website. Paste the whole URL. http://archive.org/stream/RobertiAudi_The.Cambridge.Dictionary.of.Philosophy/Robert.Audi_The.Cambrid ge.Dictionary.of.Philosophy -/- The 2015 third edition will be available soon. Before you think of buying it read some reviews on Amazon and read reviews of its competition: For example, my review of the 2008 Oxford Companion to Philosophy, History and Philosophy of Logic,29:3,291-292. URL: http://dx.doi.org/10.1080/01445340701300429 -/- Some of the entries have already been found to be flawed. For example, Tarski’s expression ‘materially adequate’ was misinterpreted in at least one article and it was misused in another where ‘materially correct’ should have been used. The discussion provides an opportunity to bring more flaws to light. -/- Acknowledgements: Each of these entries was presented at meetings of The Buffalo Logic Dictionary Project sponsored by The Buffalo Logic Colloquium. The members of the colloquium read drafts before the meetings and were generous with corrections, objections, and suggestions. Usually one 90-minute meeting was devoted to one entry although in some cases, for example, “axiomatic method”, took more than one meeting. Moreover, about half of the entries are rewrites of similarly named entries in the 1995 first edition. Besides the help received from people in Buffalo, help from elsewhere was received by email. We gratefully acknowledge the following: José Miguel Sagüillo, John Zeis, Stewart Shapiro, Davis Plache, Joseph Ernst, Richard Hull, Concha Martinez, Laura Arcila, James Gasser, Barry Smith, Randall Dipert, Stanley Ziewacz, Gerald Rising, Leonard Jacuzzo, George Boger, William Demopolous, David Hitchcock, John Dawson, Daniel Halpern, William Lawvere, John Kearns, Ky Herreid, Nicolas Goodman, William Parry, Charles Lambros, Harvey Friedman, George Weaver, Hughes Leblanc, James Munz, Herbert Bohnert, Robert Tragesser, David Levin, Sriram Nambiar, and others. -/- . (shrink)

What does it mean to know how to do something? This book develops a comprehensive account of know-how, a crucial epistemic goal for all who care about getting things right, not only with respect to the facts, but also with respect to practice. It proposes a novel interpretation of the seminal work of Gilbert Ryle, according to which know-how is a competence, a complex ability to do well in an activity in virtue of guidance by an understanding of what it (...) takes to do so. This idea is developed into a full-fledged account, Rylean responsibilism, which understands know-how in terms of the normative guidance and responsible control of one's acts. Within the complex current debate about know-how, this view occupies a middle ground position between the intellectualist claim that know-how just is propositional or objectual knowledge and the anti-intellectualist claim that know-how just is ability. In genuine know-how, practical ability and guiding intellect are both necessary, but essentially intertwined. (shrink)

A new book by Batya Friedman and David G. Hendry, Value Sensitive Design: Shaping Technology with Moral Imagination, is reviewed. Value Sensitive Design is a project into the ethical and design issues that emerge during the engineering programs of new technologies. This book is intended to build on the over two decades of value sensitive design research, however with a greater emphasis on the developments of the theoretical underpinnings of the approach as well as initial steps that designers (...) can employ to put the method into practice. (shrink)

In this paper, we propose a framework for fostering argumentative skills in a systematic way in Philosophy and Ethics classes. We start with a review of curricula and teaching materials from the German-speaking world to show that there is an urgent need for standards for the teaching and learning of argumentation. Against this backdrop, we present a framework for such standards that is intended to tackle these difficulties. The spiral-curricular model of argumentative competences we sketch helps teachers introduce the relevant (...) concepts and skills to students early on in their school career. The focus is on secondary schools, but the proposal can also be of use for learning and teaching in universities, especially in introductory classes. (shrink)

According to First-Person Realism, one's own first-person perspective on the world is metaphysically privileged in some way. After clarifying First-Person Realism by reference to parallel debates in the metaphysics of modality and time, I survey eight different arguments in favor of First-Person Realism.

This paper presents a uniform general account of regress problems in the form of a pentalemma—i.e., a set of five mutually inconsistent claims. Specific regress problems can be analyzed as instances of such a general schema, and this Regress Pentalemma Schema can be employed to generate deductively valid arguments from the truth of a subset of four claims to the falsity of the fifth. Thus, a uniform account of the nature of regress problems allows for an improved understanding of specific (...) regress objections or arguments, and, correspondingly, of the general logical geography of the debate about infinite regresses. This uniform approach is illustrated by a treatment of the classical epistemological problem of justification, but it encompasses a whole variety of cases including explanation and ontological grounding. Furthermore, this general account is compared and contrasted with the existing literature discussing argument schemata for regress objections, particularly with the work of Jan Willem Wieland. It is shown how such other schemata can be incorporated and superseded by the general Regress Pentalemma Schema. (shrink)

A number of philosophers endorse, without argument, the view that there’s something it’s like consciously to think that p, which is distinct from what it’s like consciously to think that q. This thesis, if true, would have important consequences for philosophy of mind and cognitive science. In this paper I offer an argument for it, and attempt to induce examples of it in the reader. The argument claims it would be impossible introspectively to distinguish conscious thoughts with respect to their (...) content if there weren’t something it’s like to think them. This argument is defended against several objections. Then I use what I call “minimal pair” experiences—sentences read without and with understanding—to induce in the reader an experience of the kind I claim exists. Further objections are considered and rebutted. (shrink)

Many philosophers have been attracted to a restricted version of the principle of indifference in the case of self‐locating belief. Roughly speaking, this principle states that, within any given possible world, one should be indifferent between different hypotheses concerning who one is within that possible world, so long as those hypotheses are compatible with one's evidence. My first goal is to defend a more precise version of this principle. After responding to several existing criticisms of such a principle, I argue (...) that existing formulations of the principle are crucially ambiguous, and I go on to defend a particular disambiguation of the principle. According to the disambiguation I defend, how we should apply this restricted principle of indifference sensitively depends on our background metaphysical beliefs. My second goal is to apply this disambiguated principle to classical skeptical problems in epistemology. In particular, I argue that Eternalism threatens to lead us to external world skepticism, and Modal Realism threatens to lead us to inductive skepticism. (shrink)

What is the relationship between objects and properties? According to a standard view, there are primitive individuals that ‘instantiate’ or ‘have’ various properties. According to a rival view, objects are mere ‘bundles’ of properties. While there are a number of reasons to be skeptical of primitive individuals, there are also a number of challenges that the bundle theorist faces. The goal of this paper is to formulate a view about the relationship between objects and properties that avoids many of the (...) problems inherent in both of these views. The view I will end up defending implies a particularly radical version of Monism, and it collapses the object-property distinction altogether. (shrink)

How should we account for the extraordinary regularity in the world? Humeans and Non-Humeans sharply disagree. According to Non-Humeans, the world behaves in an extraordinarily regular way because of certain necessary connections in nature. However, Humeans have thought that Non-Humean views are metaphysically objectionable. In particular, there are two general metaphysical principles that Humeans have found attractive that are incompatible with all existing versions of Non-Humeanism. My goal in this paper is to develop a novel version of Non-Humeanism that is (...) consistent with (and even entails) both of these general metaphysical principles. By endorsing such a view, one can have the explanatory benefits of Non-Humeanism while at the same time avoiding two of the major metaphysical objections towards Non-Humeanism. (shrink)

Knowledge is widely thought to entail belief. But Radford has claimed to offer a counterexample: the case of the unconfident examinee. And Myers-Schulz and Schwitzgebel have claimed empirical vindication of Radford. We argue, in defense of orthodoxy, that the unconfident examinee does indeed have belief, in the epistemically relevant sense of dispositional belief. We buttress this with empirical results showing that when the dispositional conception of belief is specifically elicited, people’s intuitions then conform with the view that knowledge entails (dispositional) (...) belief. (shrink)

The notion of an agent and the notion of a self are connected, for agency is one role played by the self. Millgram argues for a disunity thesis of agency on the basis of extreme incommensurability across some major life events. We propose a similar negative thesis about the self, that it is composed of relatively independent threads reflecting the different roles and different mind-sets of the person's life. Our understanding of those threads is based on theories of the narrative (...) construction of the self. Our disunity thesis is that there need be no overarching narrative that unifies those narrative threads. To explain how the threads hang together to produce coherent action, we make these positive claims: control normally switches smoothly and unconsciously between threads as circumstances require, within one thread there is likely to be acknowledgment of other threads, some situations require a temporary blending of threads, and some plans and policies reach across different threads and contribute to some coordination among them. Our account of a self provides an account of agency that has merits in comparison to Millgram's. Our narrative approach allows explanations of actions beyond rational deliberation. (shrink)

There is a difference between merely thinking that P and really grasping that P. For example, Jackson's (1982) black-and-white Mary cannot (before leaving her black-and-white room) fully grasp what it means to say that fire engines are red, but she can perfectly well entertain the thought that fire engines are red. The contrast between merely thinking and grasping is especially salient in the context of certain moral decisions. For example, an individual who grasps the plight of starving children thanks to (...) evocative images seems much more likely to donate for the children's benefit than someone who is merely told about their plight. This paper offers a phenomenal account of grasping according to which grasping a content (whether a proposition or concept) consists in one's thoughts about the content being constituted by phenomenal experiences of constituents of the content. This account improves on earlier phenomenal accounts of grasping (Bourget 2017a, 2018) by allowing for partial grasping and generalizing to concepts. The paper also addresses objections to phenomenal accounts of grasping, including the objection that recent developments in AI technology show that consciousness is irrelevant to grasping and understanding. (shrink)

This is a précis of my book "Know-how as Competence. A Rylean Responsibilist Account".

My first goal is to motivate a distinctively metaphysical approach to the problem of induction. I argue that there is a precise sense in which the only way that orthodox Humean and non-Humean views can justify induction is by appealing to extremely strong and unmotivated probabilistic biases. My second goal is to sketch what such a metaphysical approach could possibly look like. After sketching such an approach, I consider a toy case that illustrates the way in which such a metaphysics (...) can help us make progress on the problem of induction. (shrink)

The central aim of this paper is to use a particular view about how the laws of nature govern the evolution of our universe in order to develop and evaluate the two main competing options in the metaphysics of persistence, namely endurantism and perdurantism. We begin by motivating the view that our laws of nature dictate not only qualitative facts about the future, but also which objects will instantiate which qualitative properties. We then show that both traditional doctrines in the (...) metaphysics of persistence must take on surprising further commitments in order to vindicate our universe being law-governed in this strong sense. For example, we argue that endurantists should adopt a particular version of monism, and that perdurantists should adopt a qualitativist doctrine that dispenses with all individuals at the fundamental level. (shrink)

The question of whether Everettian quantum mechanics (EQM) justifies the existence of metaphysical indeterminacy has recently come to the fore. Metaphysical indeterminacy has been argued to emerge from three sources: coherent superpositions, the indefinite number of branches in the quantum multiverse and the nature of these branches. This paper reviews the evidence and concludes that those arguments don’t rely on EQM alone and rest on metaphysical auxiliary assumptions that transcend the physics of EQM. We show how EQM can be ontologically (...) interpreted without positing metaphysical indeterminacy by adopting a deflationary attitude towards branches. Two ways of developing the deflationary view are then proposed: one where branches are eliminated, and another where they are reduced to the universal quantum state. (shrink)

This essay explores a conception of responsibility at work in moral and criminal responsibility. Our conception draws on work in the compatibilist tradition that focuses on the choices of agents who are reasons-responsive and work in criminal jurisprudence that understands responsibility in terms of the choices of agents who have capacities for practical reason and whose situation affords them the fair opportunity to avoid wrongdoing. Our conception brings together the dimensions of normative competence and situational control, and we factor normative (...) competence into cognitive and volitional capacities, which we treat as equally important to normative competence and responsibility. Normative competence and situational control can and should be understood as expressing a common concern that blame and punishment presuppose that the agent had a fair opportunity to avoid wrongdoing. This fair opportunity is the umbrella concept in our understanding of responsibility, one that explains it distinctive architecture. (shrink)

We start by presenting three different views that jointly imply that every person has many conscious beings in their immediate vicinity, and that the number greatly varies from person to person. We then present and assess an argument to the conclusion that how confident someone should be in these views should sensitively depend on how massive they happen to be. According to the argument, sometimes irreducibly de se observations can be powerful evidence for or against believing in metaphysical theories.

While the Enlightenment promoted thinking for oneself independent of religious authority, the ‘Endarkenment’ (Millgram 2015) concerns deference to a new authority: the specialist, a hyperspecializer. Non-specialists need to defer to such authorities as they are unable to understand their reasoning. Millgram describes how humans are capable of being serial hyperspecializers, able to move from one specialism to another. We support the basic thrust of Millgram’s position, and seek to articulate how the core idea is deployed in very different ways in (...) relation to extremely different philosophical areas. We attend to the issue of the degree of isolation of different specialists and we urge greater emphasis on parallel hyperspecialization, which describes how different specialisms can be embodied in one person at one time. (shrink)

Representationalists argue that phenomenal states are intentional states of a special kind. This paper offers an account of the kind of intentional state phenomenal states are: I argue that they are underived intentional states. This account of phenomenal states is equivalent to two theses: first, all possible phenomenal states are underived intentional states; second, all possible underived intentional states are phenomenal states. I clarify these claims and argue for each of them. I also address objections which touch on a range (...) of topics, including meaning holism and concept empiricism. I conclude with a brief discussion of the consequences of the proposed view for the project of naturalizing consciousness. (shrink)

Critics have argued that human-controlled avatar interactions fail to facilitate the kinds of expressivity and social understanding afforded by our physical bodies. We identify three claims meant to justify the supposed expressive limits of avatar interactions compared to our physical interactions. First, “The Limited Expressivity Claim”: avatars have a more limited expressive range than our physical bodies. Second, “The Inputted Expressivity Claim”: any expressive avatarial behaviour must be deliberately inputted by the user. Third, “The Decoding Claim”: users must infer or (...) figure out the expressive meaning of human-controlled avatars’ behaviour through cognitively onerous processes. With the aim of critically assessing all three claims, we analyze data collected through observations of and interviews with expert players of the avatar-based video game League of Legends. Focusing on Daniel Stern’s (2010) notion of vitality, we analyze the participants’ descriptions of seeing and interacting with other avatars during performance. Our analysis shows that the informants experience human-based avatarial interactions as qualitatively different than interactions with bots, that the informants see the movements of other players’ avatars as having different expressive styles, and that the informants actively use and manipulate this avatarial expressivity during performance. The results of our analysis, we argue, provide reasons for loosening or resisting the three claims concerning the limits of avatarial expressivity. (shrink)

A growing literature is premised on the claim that quantum mechanics provides evidence for metaphysical indeterminacy. But does it? None of the currently fashionable realist interpretations involve fundamental indeterminacy and the ‘standard interpretation’, to the extent that it can be made out, doesn't require indeterminacy either.

Modern categorical logic as well as the Kripke and topological models of intuitionistic logic suggest that the interpretation of ordinary “propositional” logic should in general be the logic of subsets of a given universe set. Partitions on a set are dual to subsets of a set in the sense of the category-theoretic duality of epimorphisms and monomorphisms—which is reflected in the duality between quotient objects and subobjects throughout algebra. If “propositional” logic is thus seen as the logic of subsets of (...) a universe set, then the question naturally arises of a dual logic of partitions on a universe set. This paper is an introduction to that logic of partitions dual to classical subset logic. The paper goes from basic concepts up through the correctness and completeness theorems for a tableau system of partition logic. (shrink)

The idea that incompatibilism is intuitive is one of the key motivators for incompatibilism. Not surprisingly, then philosophers who defend incompatibilism often claim that incompatibilism is the natural, commonsense view about free will and moral responsibility (e.g., Pereboom 2001, Kane Journal of Philosophy 96:217–240 1999, Strawson 1986). And a number of recent studies find that people give apparently incompatibilist responses in vignette studies. When participants are presented with a description of a causal deterministic universe, they tend to deny that people (...) are morally responsible in that universe. Although this suggests that people are intuitive incompatibilists, Eddy Nahmias and Dylan Murray, in a recent series of important papers, have developed an important challenge to this interpretation. They argue that people confuse determinism with bypassing, the idea that one’s mental states lack causal efficacy. Murray and Nahmias present new experiments that seem to confirm the bypassing hypothesis. In this paper, we use structural equation modeling to re-examine the issue. We find support instead for an incompatibilist explanation of the bypassing results, i.e., incompatibilist judgments seem to cause bypassing judgments. We hypothesize that this phenomenon occurs because people think of decisions as essentially indeterministic; thus, when confronted with a description of determinism they tend to think that decisions do not even occur. We provide evidence for this in three subsequent studies which show that many participants deny that people make decisions in a deterministic universe; by contrast, most participants tend to allow that people add numbers in a deterministic universe. Together, these studies suggest that bypassing results don’t reflect a confusion, but rather the depth of the incompatibilist intuition. (shrink)

The ongoing explosion of interest in artificial intelligence is fueled in part by recently developed techniques in machine learning. Those techniques allow automated systems to process huge amounts of data, utilizing mathematical methods that depart from traditional statistical approaches, and resulting in impressive advancements in our ability to make predictions and uncover correlations across a host of interesting domains. But as is now widely discussed, the way that those systems arrive at their outputs is often opaque, even to the experts (...) who design and deploy them. Is it morally problematic to make use of opaque automated methods when making high-stakes decisions, like whether to issue a loan to an applicant, or whether to approve a parole request? Many scholars answer in the affirmative. However, there is no widely accepted explanation for why transparent systems are morally preferable to opaque systems. We argue that the use of automated decision-making systems sometimes violates duties of consideration that are owed by decision-makers to decision-subjects, duties that are both epistemic and practical in character. Violations of that kind generate a weighty consideration against the use of opaque decision systems. In the course of defending our approach, we show that it is able to address three major challenges sometimes leveled against attempts to defend the moral import of transparency in automated decision-making. (shrink)

Recent methodological debates regarding the place of feasibility considerations in normative political theory are hindered for want of a rigorous model of the feasibility frontier. To address this shortfall, I present an analysis of feasibility that generalizes the economic concept of a production possibility frontier and then develop a rigorous model of the feasibility frontier using the familiar possible worlds technology. I then show that this model has significant methodological implications for political philosophy. On the Target View, a political ideal (...) presents a long-term goal for morally progressive reform efforts and, thus, serves as an important reference point for our specification of normative political principles. I use the model to show that we can- not reasonably expect that adopting political ideals as long-term reform objectives will guide us toward the realization of morally optimal feasible states of affairs. I conclude by proposing that political philosophers turn their attention to the analysis of actual social failures rather than political ideals. (shrink)

Many philosophers of physics think that physical rates of change, like velocity or acceleration in classical physics, are extrinsic. Many philosophers of mind think that phenomenal properties, which characterize what it’s like to be an agent at a time, are intrinsic. I will argue that these two views can’t both be true. Given that these two views are in tension, we face an explanatory challenge. Why should there be any interesting connection between these physical quantities and consciousness in the first (...) place? In a speculative spirit, I close by developing a panpsychist view which promises to explain this connection in a particularly satisfying way. (shrink)